Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
461	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-01 05:10:06 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
462	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-15 19:28:16 Applied mathematics Theoretical computer science Automata theory Systems Petri net Formal verification Finite-state machine Algorithm Dynamical system Models of computation Concurrency Computer science
463	COMS11700 Turing machines Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:34 Computer science Models of computation Computability theory Automata theory Finite-state machine Universal Turing machine Computability Theory of computation Turing machine Theoretical computer science
464	Linear Cellular Automata via de Bruijn Diagrams Harold V. McIntosh Departamento de Aplicacion de Microcomputadoras, Instituto de Ciencias, Universidad Autonoma de Puebla, Apartado postal 461, 72000 Puebla, Puebla, Mex Add to Reading List Source URL: delta.cs.cinvestav.mx Language: English - Date: 2005-04-27 20:34:58 Graph operations Matroid theory Graph drawing Signed graph Graph theory Graph Directed graph
465	Cost-Optimal Factored Planning: Promises and Pitfalls Eric Fabre Lo¨ıg Jezequel Patrik Haslum and Sylvie Thi´ebaux Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-06-05 04:12:42 Applied mathematics Finite state transducer Polynomial Factorization IP Tree automaton SL Theoretical computer science Automata theory Mathematics
466	Microsoft Word - PCP2012.3-LSEresponse.docx Add to Reading List Source URL: www.thetakeoverpanel.org.uk Language: English - Date: 2014-09-05 05:30:10 Regular expression Cal Software engineering Theoretical computer science Computing Automata theory Pattern matching
467	University of Scranton ACM Student Chapter / Computing Sciences Department 19th Annual High School Programming Contest (2009) -----------------------------------------------------------------------------Problem 1: Fibona Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2009-12-01 18:14:21 Deterministic finite automaton Mathematics Applied mathematics Nondeterministic finite automaton Finite-state machine Fibonacci number Sequence Rope Automata theory Models of computation Computer science
468	A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quantied Propositional Logic. BDDs are Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:50 Models of computation Predicate logic Automata theory Model theory Philosophical logic Denotational semantics First-order logic Formal language Second-order logic Logic Mathematical logic Mathematics
469	Enumeration and Decidable Properties of Automatic Sequences Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-06 05:34:50 Theoretical computer science Automatic sequence Enumeration Theory of computation Mathematics Automata theory Combinatorics on words
470	Partner matching form T@W Workshop Registration and Add to Reading List Source URL: www.setatwork.eu Language: English - Date: 2013-09-05 10:10:42 Pattern matching Regular expression Matching Mathematics Computer programming Combinatorial optimization Theoretical computer science Automata theory

UPDATE